First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
751	On Mutual Understanding among Communicating Agents⋆ Patrick Doherty1, Witold Łukaszewicz1,2 , and Andrzej Szałas1,2 1 Department of Computer Science, University of Link¨oping, Sweden, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:52:30 Model theory Formal languages First-order logic Predicate logic Function Constructible universe Ontology Characteristic function Golden ratio Logic Mathematics Mathematical logic
752	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
753	Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:40 Model theory Constructible universe Lambda calculus First-order logic FO Interpretation Curry–Howard correspondence Boolean-valued model Mathematical logic Logic Mathematics
754	Abstract We describe a framework for linking together a structured ontology, deductive logic, and probability, Add to Reading List Source URL: www.cyc.com Language: English - Date: 2013-01-04 15:21:01 Theoretical computer science Artificial intelligence Logical consequence Reasoning Programming paradigms Cyc Markov logic network Probabilistic logic First-order logic Logic Science Knowledge
755	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.di.uniba.it Language: English - Date: 2008-10-06 05:35:01 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
756	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.di.uniba.it Language: English - Date: 2008-10-06 05:35:01 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
757	‘There’s something it’s like’ and the Structure of Consciousness Benj Hellie University of Toronto For an experience to be phenomenally conscious is for there to be Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2007-05-10 10:41:08 Predicate logic Semantics Grammar Philosophy of language First-order logic Predicate Proposition Interpretation Syntax Logic Linguistics Science
758	Quantificational Logic and Empty Names Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2014-03-17 14:09:09 Predicate logic Logical syntax Metalogic First-order logic Modal logic Entailment Saul Kripke Well-formed formula Formal semantics Logic Mathematical logic Philosophical logic
759	Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2011-05-27 18:07:14 Metalogic Dialectica interpretation First-order logic Constructible universe Curry–Howard correspondence Binomial coefficient Mathematical logic Proof theory Logic
760	P,P Why Some Reasoning Problems are More Tractable Than Others Markus Krötzsch Technische Universität Dresden, Germany Abstract. Knowledge representation and reasoning leads to a wide range of Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-09-19 04:24:27 Model theory Query languages Predicate logic Propositional calculus Philosophy of language Datalog Logic programming FO First-order logic Logic Mathematical logic Mathematics

UPDATE